load("@rules_java//java:defs.bzl", "java_library")

package(default_visibility = ["//visibility:public"])

java_library(
    name = "symbolic",
    exports = [
        "//projects/symbolic/src/main/java/org/batfish/symbolic:core",
        "//projects/symbolic/src/main/java/org/batfish/symbolic/state",
    ],
)
